Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
141	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Modal Logic” Winter Term 2013 Course Outline Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:40:18 Logicians Non-classical logic Philosophical logic Epistemic modal logic Plagiarism Mathematical logic Johan van Benthem Logic Science Modal logic
142	On the Modelling and Analysis of Regulations G. Antoniou, D. Billington, G. Governatori and M.J. Maher CIT, Griffith University Nathan, QLD 4111, Australia {ga,db,guido,mjm}@cit.gu.edu.au Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2012-01-12 21:52:26 Knowledge Reasoning Critical thinking Defeasible logic Defeasible reasoning Argument Non-monotonic logic Modal logic Inquiry Logic Science Non-classical logic
143	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory
144	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
145	PROGRAMME Wednesday, July – – – – 11.25 Add to Reading List Source URL: dl.kr.org Language: English - Date: 2011-07-14 06:51:00 Information Non-classical logic Artificial intelligence Description logic Information science Ontology Web Ontology Language Ian Horrocks Semantic reasoner Science Semantic Web Knowledge
146	Fuzzy Logic: BriefTowards GeneralNeed for ProductHow to Tell When a Product of Two Partially Ordered Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2011-02-18 23:00:53 Non-classical logic A1 A2 Logic Mathematics Artificial intelligence Logic in computer science Fuzzy logic
147	AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory
148	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
149	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
150	Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or Add to Reading List Source URL: consequently.org Language: English Paraconsistent logic Intuitionism Intuitionistic logic Classical logic Many-valued logic Fuzzy logic Proof theory Modal logic Truth value Logic Mathematical logic Non-classical logic

UPDATE